3837 search results - page 495 / 768 » Concurrent Engineering support in Software Engineering |
142
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
115
click to vote
FCCM
2007
IEEE
15 years 10 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
117
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
146
click to vote
NETGAMES
2006
ACM
15 years 10 months ago
2006
ACM
This paper proposes a hybrid architecture for distributed virtual environments, utilizing servers alongside peer-to-peer components. Current research into peer-based systems seeks...
142
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...