1126 search results - page 100 / 226 » Modularity and the Rule of Adaptation |
142
click to vote
SLOGICA
2008
15 years 3 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
140
click to vote
RTCSA
2009
IEEE
15 years 10 months ago
2009
IEEE
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...
118
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— In swarm robotics research, instead of using large size robots, it is often desirable to have multiple small size robots for saving valuable work space and making the maintaina...
135
Voted
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
120
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...