1146 search results - page 225 / 230 » Formal Specification Generation from Requirement Documents |
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
PODS
2010
ACM
15 years 2 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
RTAS
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
100
click to vote
C5
2004
IEEE
15 years 1 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...