2364 search results - page 271 / 473 » An Engine for Computing Well-Founded Models |
175
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
174
click to vote
FOSSACS
2004
Springer
16 years 12 days ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
206
Voted
IJVR
2008
15 years 7 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
187
Voted
WSC
2000
15 years 8 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
272
Voted
CBSE
2011
Springer
14 years 7 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...