816 search results - page 93 / 164 » Automating Verification by Functional Abstraction at the Sys... |
EWCBR
2006
Springer
14 years 25 days ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
It is anticipated that self assembled ultra-dense nanomemories will be more susceptible to manufacturing defects and transient faults than conventional CMOS-based memories, thus t...
ECSA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
ECIS
2004
13 years 10 months ago
2004
The research presented in this paper is part of a larger study of the organizational impacts of information systems on knowledge work. The phase of the research reported in the pa...
ERLANG
2007
ACM
14 years 1 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...