Sciweavers

405 search results - page 4 / 81
» Open Systems Formal Evaluation Process
Sort
View
80
Voted
APSEC
2003
IEEE
15 years 3 months ago
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment
The programmable service for Internet telephony (VoIP) allows end-users or third parties to define their own customized services. However, it imposes a serious drawback that serv...
Pattara Leelaprute, Masahide Nakamura, Ken-ichi Ma...
79
Voted
CCS
2003
ACM
15 years 3 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
154
Voted
ESWS
2011
Springer
14 years 1 months ago
FedX: A Federation Layer for Distributed Query Processing on Linked Open Data
Driven by the success of the Linked Open Data initiative today’s Semantic Web is best characterized as a Web of interlinked datasets. Hand in hand with this structure new challen...
Andreas Schwarte, Peter Haase, Katja Hose, Ralf Sc...
84
Voted
COMPSAC
2007
IEEE
15 years 4 months ago
A Framework for Open Distributed System Design
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
Alexei Iliasov, Alexander Romanovsky, Budi Arief
90
Voted
ICWS
2010
IEEE
14 years 8 months ago
Evaluating the Survivability of SOA Systems Based on HMM
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
Leilei Chen, Qing Wang, Wei Xu, Liang Zhang