Sciweavers

116 search results - page 12 / 24
» Scenario Usage in System Development: A Report on Current Pr...
Sort
View
MHCI
2004
Springer
14 years 25 days ago
Mobile Context Aware Systems: The Intelligence to Support Tasks and Effectively Utilise Resources
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...
Russell Beale, Peter Lonsdale
CAI
2010
Springer
13 years 4 months ago
SMA - The Smyle Modeling Approach
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
UC
2005
Springer
14 years 29 days ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
WIAMIS
2009
IEEE
14 years 2 months ago
High-presence, low-bandwidth, apparent 3D video-conferencing with a single camera
Small digital video cameras have become increasingly common, appearing on portable consumer devices such as cellular phones. The widespread use of video-conferencing, however, is ...
Timothy R. Brick, Jeffrey R. Spies, Barry-John The...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund