Sciweavers

15636 search results - page 195 / 3128
» Modelling by supersaturated designs
Sort
View
ICWE
2005
Springer
16 years 2 days ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
IPSN
2005
Springer
16 years 2 days ago
Virtual patrol: a new power conservation design for surveillance using sensor networks
Surveillance has been a typical application of wireless sensor networks. To conduct surveillance of a given area in real life, one can use stationary watch towers, or can also use...
Chao Gui, Prasant Mohapatra
DEON
2004
Springer
15 years 12 months ago
Designing a Deontic Logic of Deadlines
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
Jan Broersen, Frank Dignum, Virginia Dignum, John-...
ECWEB
2004
Springer
177views ECommerce» more  ECWEB 2004»
15 years 12 months ago
Analysis of Mobile Business Processes for the Design of Mobile Information Systems
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
André Köhler, Volker Gruhn
HAPTICS
2002
IEEE
15 years 11 months ago
Understanding of Fingernail-Bone Interaction and Fingertip Hemodynamics for Fingernail Sensor Design
When the human fingertip is pressed against a surface or bent, the hemodynamic state of the fingertip is altered due to mechanical interactions between the fingernail and bone. No...
Stephen A. Mascaro, H. Harry Asada