Showing 101 - 120 of 3,896

101

Verification and refinement with fine-grained action-based concurrent objects
SEKERINSKI, Emil
Formal Methods for Components and ObjectsTheoretical computer science. 331(2-3):429-455

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
102

Using proofs by coinduction to find traditional proofs
GRABMAYER, Clemens
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :175-193

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
103

Ultrafilter extensions for coalgebras
KUPKE, C ; KURZ, A ; PATTINSON, D
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :263-277

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
104

Trust but Verify : Monitoring remotely executing programs for progress and correctness
SHUO YANG ; BUTT, Ali R ; HU, Y. Charlie ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :196-205

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
105

Towards generative programming
COINTE, Pierre
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :315-325

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
106

Towards an integration of answer set and constraint solving
BASELICE, S ; BONATTI, P. A ; GELFOND, M
Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. :52-66

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
107

Towards a coalgebraic semantics of the ambient calculus
HAUSMANN, Daniel ; MOSSAKOWSKI, Till ; SCHRÖDER, Lutz
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :232-246

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
108

Threshold properties of random boolean constraint satisfaction problems
ISTRATE, Gabriel
Typical case complexity and phase transitionsDiscrete applied mathematics. 153(1-3):141-152

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
109

The semantics and tool support of OZTA
JIN SONG DONG ; PING HAO ; SHENGCHAO QIN ; et al.
Formal methods and software engineering (7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005)0ICFEM 2005. :66-80

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
110

The least fibred lifting and the expressivity of coalgebraic modal logic
KLIN, Bartek
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :247-262

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
111

The complexity of inductive definability
CENZER, Douglas ; REMMEL, Jeffrey B
New computational paradigms (Amsterdam, 8-12 June 2005)Lecture notes in computer science. :75-85

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
112

The category theoretic solution of recursive program schemes
MILIUS, Stefan ; MOSS, Lawrence S
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :293-312

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
113

The anatomy of a loop : A story of scope and control
SHIVERS, Olin
Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP'05), September 26-28, 2005 - Tallinn, EstoniaACM SIGPLAN notices. 40(9):2-14

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
114

System identification using genetic programming and gene expression programming
FLORES, Juan J ; GRAFF, Mario
Computer and information sciences (ISCIS 2005)0ISCIS 2005. :503-511

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
115

Symmetry breaking revisited
PUGET, Jean-Francois
Principles and practices of constraint programmingConstraints (Dordrecht). 10(1):23-46

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
116

Subtext : Uncovering the simplicity of programming
EDWARDS, Jonathan
Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05)ACM SIGPLAN notices. 40(10):505-518

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
117

Strong splitting bisimulation equivalence
BERGSTRA, J. A ; MIDDELBURE, C. A
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :83-97

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
118

Solving Kirkman's schoolgirl problem in a few seconds
BARNIER, Nicolas ; BRISSET, Pascal
Principles and practices of constraint programmingConstraints (Dordrecht). 10(1):7-21

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
119

Semantic essence of AsmL
GUREVICH, Yuri ; ROSSMAN, Benjamin ; SCHULTE, Wolfram
Formal Methods for Components and ObjectsTheoretical computer science. 343(3):370-412

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
120

Resolution complexity of random constraint satisfaction problems : Another half of the story
YONG GAO ; CULBERSON, Joseph
Typical case complexity and phase transitionsDiscrete applied mathematics. 153(1-3):124-140

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List

Filter