561 search results - page 61 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
275
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
167
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
168
click to vote
COMPSAC
2008
IEEE
16 years 20 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
167
click to vote
ISER
1993
Springer
15 years 10 months ago
1993
Springer
This paper describes a complete system architecture integrating planning into a two-armed robotic workcell. The system is comprised of four major components: user interface, plann...
146
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
Compared with previous video coding standards, H.264/AVC employs a division-free quantization scheme. The relation between quantization parameter and quantization step changes from...