7209 search results - page 1138 / 1442 » Software Engineering for Multi-Agent Systems |
126
Voted
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
107
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
90
Voted
LDTA
2010
15 years 27 days ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
83
Voted
AC
2008
Springer
15 years 25 days ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
113
click to vote
RE
2006
Springer
15 years 19 days ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...