1676 search results - page 215 / 336 » Formal System Development with KIV |
152
click to vote
MTA
2007
15 years 4 months ago
2007
There are numerous applications where there is a need to rapidly infer a story about a given subject from a given set of potentially heterogeneous data sources. In this paper, we f...
147
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
147
click to vote
IJAMC
2010
15 years 3 months ago
2010
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
119
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
152
click to vote
JOT
2010
15 years 3 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...