2108 search results - page 356 / 422 » An Operational Semantics for Stateflow |
137
Voted
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
144
Voted
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
96
Voted
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
143
Voted
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
95
Voted
SAINT
2006
IEEE
15 years 9 months ago
2006
IEEE
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...