4586 search results - page 336 / 918 » Computing stable models in parallel |
159
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Current electronic system design requires to be concerned with power consumption consideration. However, in a lot of design tools, the application power consumption budget is esti...
133
click to vote
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...
146
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
137
click to vote
EDOC
2000
IEEE
15 years 9 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
114
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we propose a method which enables us to construct almost optimal broadcast schemes on an n-dimensional hypercube in the circuit switched, -port model. In this mode...