4348 search results - page 814 / 870 » Using UML for Modeling Complex Real-Time Systems |
161
click to vote
LICS
2009
IEEE
16 years 19 days ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
157
click to vote
ADBIS
2009
Springer
16 years 18 days ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
156
click to vote
DEXA
2009
Springer
16 years 17 days ago
2009
Springer
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
153
click to vote
IROS
2007
IEEE
16 years 9 days ago
2007
IEEE
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...
162
click to vote
GECCO
2007
Springer
16 years 4 days ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...