10568 search results - page 231 / 2114 » Computer Intelligence and Formalization |
150
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
117
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
130
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
149
click to vote
VLSID
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
110
click to vote
FUIN
2002
15 years 3 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...