2588 search results - page 432 / 518 » Engineering Systems Which Generate Emergent Functionalities |
139
click to vote
DMIN
2006
15 years 5 months ago
2006
Discovering hidden patterns in large sets of workforce schedules to gain insight into the potential knowledge in workforce schedules are crucial to better understanding the workfor...
138
click to vote
LISA
2004
15 years 5 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
129
click to vote
INTERACT
2003
15 years 5 months ago
2003
: A speech-driven embodied interactive actor called InterActor with both functions of speaker and listener is developed for activating human interaction and communication by genera...
130
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
153
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...