Sciweavers

660 search results - page 98 / 132
» The Active Process Interaction with Its Environment
Sort
View
CSREAEEE
2007
136views Business» more  CSREAEEE 2007»
15 years 1 months ago
Virtual Apparatus Framework Approach to Constructing Adaptive Tutorials
- We present the Adaptive eLearning Platform (AeLP) – a platform solution for creating rich, interactive, and highly visual, adaptive eLearning activities designed using Virtual ...
Dror Ben-Naim, Nadine Marcus, Michael Bain
APN
2008
Springer
15 years 1 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
SAC
2010
ACM
15 years 22 hour ago
Chemotaxis-based sorting of self-organizing heterotypic agents
Cell sorting is a fundamental phenomenon in morphogenesis, which is the process that leads to shape formation in living organisms. The sorting of heterotypic cell populations is p...
Manolya Eyiyurekli, Linge Bai, Peter I. Lelkes, Da...
SOFSEM
2009
Springer
15 years 8 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
TABLETOP
2006
IEEE
15 years 5 months ago
Considering Reach in Tangible and Table Top Design
Reach heavily impacts all aspects of designing for tangible and tabletop user interfaces. It dictates the input space available to each user and heavily shapes how that space is u...
Aaron Toney, Bruce H. Thomas