Sciweavers

1190 search results - page 58 / 238
» The Dwelling as a Place for Work
Sort
View
ATAL
2007
Springer
15 years 6 months ago
An event-driven approach for agent-based business process enactment
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
Payal Chakravarty, Munindar P. Singh
ECTEL
2007
Springer
15 years 6 months ago
Applying Sensemaking in a Mobile Learning Scenario
In this work, a new type of collaborative learning activity is proposed in order to enable students to explore and understand information in highly mobile situations. We call this ...
Gustavo Zurita, Nelson Baloian, Pedro Antunes, Fel...
87
Voted
FSEN
2007
Springer
15 years 6 months ago
Hoare Logic for ARM Machine Code
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C....
ICANNGA
2007
Springer
128views Algorithms» more  ICANNGA 2007»
15 years 6 months ago
A Demonstration of Clustering in Protein Contact Maps for Alpha Helix Pairs
Abstract. The purpose of this work is to demonstrate that it is possible to cluster contact maps for pairs of alpha helices such that each of the clusters corresponds to a group of...
Robert Fraser, Janice I. Glasgow
DELTA
2006
IEEE
15 years 6 months ago
Automation Integration with UPnP Modules
A method for leveraging a communication protocol called Universal Plug and Play (UPnP) for workcell automation and integration is presented. By leveraging UPnP for automation equi...
Swee M. Mok, Chi-haur Wu