10038 search results - page 540 / 2008 » Model Checking for Managers |
196
click to vote
CHI
2009
ACM
15 years 5 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
145
click to vote
WSC
2008
15 years 9 months ago
2008
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
208
click to vote
LCN
2006
IEEE
16 years 1 months ago
2006
IEEE
IP Multicast is best known for its bandwidth conservation and lower resource utilization. The classical model of multicast makes it difficult to permit access only to authorized ...
192
click to vote
ICPADS
2005
IEEE
16 years 23 days ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...
198
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
Rapid changes in the business environment call for more flexible and adaptive workflow systems. Researchers have proposed that Workflow Management Systems (WfMSs) comprising multi...