93 search results - page 19 / 19 » Model Checking Temporal Metric Specifications with Trio2Prom... |
WWW
2005
ACM
14 years 5 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
PERCOM
2007
ACM
14 years 4 months ago
2007
ACM
This paper develops a context aware framework to address the diverse communication needs of a modern enterprise. Such enterprises are characterized by workers in different locatio...