2702 search results - page 143 / 541 » Practically Applicable Formal Methods |
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
117
click to vote
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
101
click to vote
HASE
1999
IEEE
15 years 2 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
ICWE
2007
Springer
15 years 4 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
88
Voted
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE
Fixed-parameter tractability (FPT) techniques have recently been successful in solving NP-complete problem instances of practical importance which were too large to be solved with...