3706 search results - page 329 / 742 » OntoComP System Description |
137
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
The dater equalities constitute a well-known tool which allows the description of Timed Event Graphs in the field of (max, +) algebra. This paper gives an equivalent model in the...
150
click to vote
CSMR
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
179
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
194
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
181
click to vote
SFM
2007
Springer
16 years 22 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...