2896 search results - page 457 / 580 » Curricula Modeling and Checking |
152
click to vote
IEEESCC
2006
IEEE
15 years 12 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
144
click to vote
QEST
2006
IEEE
15 years 12 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
158
click to vote
ADAEUROPE
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
161
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
123
Voted
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...