798 search results - page 102 / 160 » Statecharts as Protocols for Objects |
204
click to vote
PKDD
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Analysis of privacy-sensitive data in a multi-party environment often assumes that the parties are well-behaved and they abide by the protocols. Parties compute whatever ...
176
click to vote
SAFECOMP
2007
Springer
16 years 12 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
162
click to vote
CCECE
2006
IEEE
16 years 10 days ago
2006
IEEE
We present an automated and distributed real-time video surveillance system which can be used for the detection of objects and events in a wide range of applications. Video feeds ...
216
click to vote
GLOBECOM
2006
IEEE
16 years 10 days ago
2006
IEEE
— Radio Frequency Identification (RFID) systems have provided promising solutions to effective identification of a large number of tagged objects. However, RFID systems suffer ...
157
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...