16666 search results - page 123 / 3334 » Descriptive and Computational Complexity |
132
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
129
click to vote
EVOW
2003
Springer
15 years 9 months ago
2003
Springer
Evolutionary Algorithms (EAs) have been proposed as a very powerful heuristic optimization technique to solve complex problems. Many case studies have shown that they work very eff...
129
click to vote
ISSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract--Reservation Tables (RTs) have long been used to detect conflicts between operations that simultaneously access the same architectural resource. Traditionally, these RTs h...
145
click to vote
ICSM
1997
IEEE
15 years 8 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
156
click to vote
ICFCA
2007
Springer
15 years 8 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...