1988 search results - page 286 / 398 » Engineering formal metatheory |
165
click to vote
METRICS
2005
IEEE
16 years 8 hour ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
127
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
171
click to vote
MSR
2005
ACM
15 years 12 months ago
2005
ACM
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
263
click to vote
WWW
2005
ACM
15 years 12 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
131
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...