4340 search results - page 301 / 868 » Formal Methods and Cryptography |
224
click to vote
TKDE
2012
13 years 9 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
163
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
182
click to vote
CMSB
2004
Springer
16 years 2 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
200
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
201
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...