297 search results - page 50 / 60 » Validation of an agent based system using Petri Nets |
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Embedded distributed real-time systems are traditionally used in safety-critical application areas such as avionics, healthcare, and the automotive sector. Assuring dependability ...
ICECCS
1995
IEEE
15 years 2 months ago
1995
IEEE
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
IAT
2008
IEEE
15 years 5 months ago
2008
IEEE
Relation extraction systems typically rely on local lexical and syntactic features as evidence. Recent work suggests that for a given relation, there might exist certain patterns ...
HOLOMAS
2003
Springer
15 years 3 months ago
2003
Springer
The expansion of the WWW and the growth of data sources lead to the proliferation of heterogeneous data (texts, images, videos, sounds and relational views). We call these data ”...