2488 search results - page 103 / 498 » An improvement in formal verification |
115
click to vote
AAAI
2000
15 years 2 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
113
click to vote
FMAM
2010
14 years 10 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
85
Voted
ENTCS
2008
15 years 24 days ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
114
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
105
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...