Sciweavers

436 search results - page 47 / 88
» Temporal Preprocessor: Towards Temporal Applications Develop...
Sort
View
135
Voted
LOGCOM
2010
154views more  LOGCOM 2010»
14 years 9 months ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
94
Voted
IPPS
2000
IEEE
15 years 7 months ago
Incorporating Non-functional Requirements into Software Architectures
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. ...
141
Voted
AGENTCL
2000
Springer
15 years 7 months ago
A Social Semantics for Agent Communication Languages
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
Munindar P. Singh
120
Voted
DL
1998
Springer
138views Digital Library» more  DL 1998»
15 years 6 months ago
Making Metadata: A Study of Metadata Creation for a Mixed Physical-Digital Collection
Metadata is an important way of creating order in emerging distributed digital library collections. This paper presents an analysis of ethnographic data gathered in a university l...
Catherine C. Marshall
122
Voted
LCTRTS
1998
Springer
15 years 6 months ago
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
Gaurav Arora, David B. Stewart