2407 search results - page 195 / 482 » A Tool for Abstraction in Model Checking |
232
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
187
click to vote
IEEECIT
2005
IEEE
16 years 23 days ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
221
click to vote
ICIW
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
169
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...
199
click to vote
WSPI
2004
15 years 8 months ago
2004
Abstract. The fields of philosophy and informatics entertain two somewhat different conceptions of ontology. Philosophical ontology is a branch of metaphysics dating back at least ...