886 search results - page 49 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
IJIS
2002
14 years 9 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
VRST
2005
ACM
15 years 3 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
FMICS
2010
Springer
14 years 7 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
DGO
2003
14 years 11 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...