4755 search results - page 491 / 951 » An Implementation Model for Collaborative Applications |
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
176
click to vote
ECTEL
2007
Springer
16 years 10 days ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
189
click to vote
BROADNETS
2006
IEEE
16 years 7 days ago
2006
IEEE
— Advance reservation is a mechanism to guarantee the availability of resources when they are needed. In the context of LambdaGrid, this mechanism is used to provide data-intensi...
178
click to vote
MABS
2005
Springer
15 years 11 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
201
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...