Sciweavers

1053 search results - page 100 / 211
» The Rules of Virtual Groups
Sort
View
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
15 years 5 months ago
MDLn: A Motion Description Language for networked systems
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
Patrick Martin, Jean-Pierre de la Croix, Magnus Eg...
IAT
2006
IEEE
15 years 5 months ago
A Call Handling Assistant for Mobile Devices
With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. The convenience this provides for people to more effectively combine different aspec...
Wayne Wobcke, Rita Chan, Andrew Limaru
ACRI
2004
Springer
15 years 4 months ago
Searching for Pattern-Forming Asynchronous Cellular Automata - An Evolutionary Approach
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
Tomoaki Suzudo
TYPES
2004
Springer
15 years 4 months ago
Tactic-Based Optimized Compilation of Functional Programs
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
Thomas Meyer, Burkhart Wolff
JUCS
2008
124views more  JUCS 2008»
14 years 11 months ago
Mismatch Avoidance in Web Services Software Architectures
: Architectural mismatches are a recognized obstacle to successful software reuse. An architectural mismatch occurs when two or more software components are connected to form a sys...
Cristina Gacek, Carl Gamble