2004 search results - page 255 / 401 » Comparison of Model Checking Tools for Information Systems |
104
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
145
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
247
click to vote
DAS
2010
Springer
15 years 9 months ago
2010
Springer
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
145
Voted
CSCWD
2008
Springer
15 years 6 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
136
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a variant of the snapshot model [1] for insect visual homing. In this model a snapshot image is taken by an agent at the goal position. The disparity between c...