2407 search results - page 313 / 482 » A Tool for Abstraction in Model Checking |
188
Voted
AC
2000
Springer
15 years 6 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
191
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
185
click to vote
ICWE
2005
Springer
16 years 16 days ago
2005
Springer
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...
176
Voted
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
198
Voted
ESAW
2009
Springer
15 years 4 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...