1395 search results - page 59 / 279 » Incremental Construction Approach for Distributed System Spe... |
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
115
click to vote
ETFA
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
109
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
100
click to vote
AAAI
2006
15 years 2 months ago
2006
In a team-based multiagent system, the ability to construct a model of an opponent team's joint behavior can be useful for determining an agent's expected distribution o...
123
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
We address a specific enterprise document search scenario, where the information need is expressed in an elaborate manner. In our scenario, information needs are expressed using a...