5015 search results - page 572 / 1003 » Model Checking a Path |
195
Voted
AOSE
2005
Springer
16 years 12 days ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
187
Voted
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
186
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
161
Voted
ER
1999
Springer
15 years 11 months ago
1999
Springer
We propose a method for modeling complex Web sources that have active user interaction requirements. Here active" refers to the fact that certain information in these sources ...
199
Voted
HPCN
1998
Springer
15 years 11 months ago
1998
Springer
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...