21430 search results - page 125 / 4286 » Abstract Effective Models |
174
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
159
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
171
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
196
click to vote
ISTAR
2008
15 years 7 months ago
2008
One major obstacle to requirements engineering (RE) is the growing complexity of today's systems. Such a complexity can only be fficiently by powerful abstraction mechanisms a...
170
click to vote
WAIM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Most users of the WWW want their searches to be effective. Currently, there exists a wide variety of efficient syntactic tools that have can be used for search in the WWW...