4418 search results - page 457 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
174
Voted
FLAIRS
2007
15 years 9 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
183
Voted
DAGSTUHL
2006
15 years 8 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
163
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In recent years, idempotent methods (specifically, max-plus methods) have been developed for solution of nonlinear control problems. It was thought that idempotent linearity o...
181
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
223
Voted
CIKM
2005
Springer
16 years 12 days ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...