Sciweavers

958 search results - page 172 / 192
» Using the UML for Architectural Description
Sort
View
ICSE
2000
IEEE-ACM
14 years 11 days ago
Requirements engineering in the year 00: a research perspective
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
Axel van Lamsweerde
CHES
2008
Springer
84views Cryptology» more  CHES 2008»
13 years 10 months ago
A Real-World Attack Breaking A5/1 within Hours
Abstract. In this paper we present a real-world hardware-assisted attack on the wellknown A5/1 stream cipher which is (still) used to secure GSM communication in most countries all...
Timo Gendrullis, Martin Novotný, Andy Rupp
ISARCS
2010
156views Hardware» more  ISARCS 2010»
13 years 10 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
DOCENG
2008
ACM
13 years 10 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
SBBD
2007
68views Database» more  SBBD 2007»
13 years 10 months ago
Querying Geographical Data Warehouses With GeoMDQL
Integrating geographical and multidimensional processing has been proposed in several researches in the database literature. One of the most important issues of this process is dat...
Joel da Silva, Ausberto S. Castro Vera, Anjolina G...