1382 search results - page 196 / 277 » Interactive pen-and-ink illustration |
168
click to vote
FSEN
2007
Springer
16 years 11 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
165
click to vote
GECCO
2007
Springer
16 years 11 days ago
2007
Springer
Transgenetic algorithms are evolutionary computing techniques based on living processes where cooperation is the main evolutionary strategy. Those processes contain the movement o...
152
click to vote
HUC
2007
Springer
16 years 11 days ago
2007
Springer
Mobile phones are a widely-available class of device with supporting communications infrastructure which can be appropriated and exploited to support ubicomp experiences. However m...
180
click to vote
ICSE
2007
IEEE-ACM
16 years 10 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
140
click to vote
ICSOC
2007
Springer
16 years 10 days ago
2007
Springer
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...