1420 search results - page 112 / 284 » A combined functional and object-oriented approach to softwa... |
157
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Many authorities have started to use web sites to provide services based on transactions. The guiding vision is often a process portal for citizens that provides access to the cou...
182
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
170
click to vote
ICCBSS
2005
Springer
15 years 12 months ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
149
click to vote
FASE
1998
Springer
15 years 10 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
153
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...