1200 search results - page 26 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
AISS
2010
14 years 7 months ago
2010
As the World Wide Web grows rapidly on a daily basis, the number of new computer attacks is also growing at a matching rate. It is increasing by development of information and com...
166
click to vote
TASE
2012
IEEE
13 years 5 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
90
Voted
WSCG
2000
14 years 11 months ago
2000
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...