1990 search results - page 215 / 398 » Integrated Human Behavior Modeling |
112
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
145
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
178
Voted
IESS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
137
click to vote
DCOSS
2011
Springer
14 years 3 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
134
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...