Sciweavers

7475 search results - page 1093 / 1495
» Supporting use case based requirements engineering
Sort
View
208
Voted
AC
1998
Springer
15 years 11 months ago
The Search for the Holy Grail in Quantum Cryptography
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
Louis Salvail
ICWS
2008
IEEE
15 years 8 months ago
QoS-Driven Selection of Web Services for Transactional Composition
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...
Joyce El Haddad, Maude Manouvrier, Guillermo Ramir...
ESWS
2008
Springer
15 years 8 months ago
Building a National Semantic Web Ontology and Ontology Service Infrastructure -The FinnONTO Approach
Abstract. This paper presents the vision and results of creating a national level cross-domain ontology and ontology service infrastructure in Finland. The novelty of the infrastru...
Eero Hyvönen, Kim Viljanen, Jouni Tuominen, K...
CJ
2010
150views more  CJ 2010»
15 years 4 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
PERCOM
2007
ACM
16 years 6 months ago
Automatic Generation of Device User-Interfaces?
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...
Olufisayo Omojokun, Prasun Dewan
« Prev « First page 1093 / 1495 Last » Next »