2024 search results - page 225 / 405 » A Formal Model of Multi-agent Computations |
146
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. With ever increasing amount of available data on protein-protein interaction (PPI) networks and research revealing that these networks evolve at a modular level, discover...
146
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
133
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
163
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
130
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...