Sciweavers

8503 search results - page 1393 / 1701
» Secure Software Architectures
Sort
View
ERSA
2007
113views Hardware» more  ERSA 2007»
15 years 2 months ago
Autonomous Computing Systems: A Proof-of-Concept
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...
Neil Steiner, Peter M. Athanas
FORTE
2007
15 years 2 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat
126
Voted
HCI
2007
15 years 2 months ago
A Survey on Transformation Tools for Model Based User Interface Development
As a wide variety of interaction devices, modalities has to be supported by user interface developers, model-based user interface development gets increasing attention. Especially ...
Robbie Schaefer
99
Voted
ICWS
2007
IEEE
15 years 2 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
94
Voted
LWA
2008
15 years 2 months ago
Compensating the Semantic Bias of Spreadsheets
Spreadsheets are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. They r...
Andrea Kohlhase, Michael Kohlhase
« Prev « First page 1393 / 1701 Last » Next »