5630 search results - page 77 / 1126 » Computability in Specification |
137
Voted
ICSOC
2005
Springer
15 years 8 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
171
click to vote
RTSS
2000
IEEE
15 years 7 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
136
Voted
HIPEAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
109
Voted
JSS
2006
15 years 2 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
135
Voted
ENTCS
2002
15 years 2 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...