2060 search results - page 144 / 412 » The Composition of Event-B Models |
161
click to vote
JLP
2011
14 years 11 months ago
2011
Service composition in Service Oriented Computing concerns not only integration of heterogeneous distributed applications but also dynamic selection of services. Quality of Servic...
136
click to vote
MSOM
2010
14 years 11 months ago
2010
The Vaccine and Related Biologic Products Advisory Committee meets at least once a year to decide the composition of the influenza vaccine in the U.S. Past evidence suggests that ...
127
click to vote
NIPS
2001
15 years 5 months ago
2001
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
131
Voted
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
141
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...