2448 search results - page 272 / 490 » The Octahedron Abstract Domain |
164
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
161
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
174
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
159
Voted
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
163
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...