4919 search results - page 572 / 984 » A Process-Ontological Model for Software Engineering |
138
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
138
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
156
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
136
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Community coordinated multimedia (CCM) envisions the paradigm of consuming multiple media via diversity display devices, converged networks, and heterogeneous platforms within a v...
192
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...