3828 search results - page 583 / 766 » Proof-Based System Engineering Using a Virtual System Model |
154
click to vote
WSCG
2003
15 years 7 months ago
2003
We present an extended framework for modelling agent-object interactions in virtual environments. Our framework is based on the concept of Smart Objects and provides agents with p...
119
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers at...
165
click to vote
JSS
1998
15 years 6 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
222
click to vote
SCESM
2006
ACM
16 years 8 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
199
click to vote
IADIS
2004
15 years 7 months ago
2004
The accelerated development in grid computing has positioned it as a promising next generation computing platform. It enables the creation of virtual organizations (VO) for sharin...