2467 search results - page 334 / 494 » Finite State Machines |
103
click to vote
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
104
click to vote
DSN
2000
IEEE
15 years 5 months ago
2000
IEEE
An important technical hurdle blocking the adoption of mobile agent technology is the lack of reliability. Designing a reliable mobile agent system is especially challenging since...
ACSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
CCS
2008
ACM
15 years 3 months ago
2008
ACM
BootJacker is a proof-of-concept attack tool which demonstrates that authentication mechanisms employed by an operating system can be bypassed by obtaining physical access and sim...
116
click to vote
DAGSTUHL
2004
15 years 2 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...