Sciweavers

8083 search results - page 360 / 1617
» A Formalization of Software Architecture
Sort
View
HCI
2007
15 years 8 months ago
Incorporating the Cultural Dimensions into the Theoretical Framework of Website Information Architecture
Information Architecture (IA) has emerged as a discipline that is concerned with the development of systematic approaches to the presentation and organization of online information...
Wan Abdul Rahim Wan Mohd Isa, Nor Laila Md. Noor, ...
EMSOFT
2005
Springer
16 years 8 days ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
SERP
2003
15 years 8 months ago
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
Chartchai Doungsa-ard, Taratip Suwannasart
VIROLOGY
2010
113views more  VIROLOGY 2010»
15 years 5 months ago
A general definition of malware
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
Simon Kramer, Julian C. Bradfield
CSE
2009
IEEE
15 years 4 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...