10568 search results - page 297 / 2114 » Computer Intelligence and Formalization |
165
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
274
click to vote
ITICSE
2005
ACM
16 years 4 days ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
185
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
182
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
153
click to vote
SWAT
1998
Springer
15 years 10 months ago
1998
Springer
Given an alphabet , a (directed) graph G whose edges are weighted and -labeled, and a formal language L , the formal-language-constrained shortest/simple path problem consists of ...