Sciweavers

1908 search results - page 199 / 382
» How to teach software modeling
Sort
View
SIGADA
2004
Springer
15 years 10 months ago
Enforcing security and safety models with an information flow analysis tool
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
Roderick Chapman, Adrian Hilton
AIL
2004
113views more  AIL 2004»
15 years 5 months ago
On the Ontological Status of Plans and Norms
This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system a...
Guido Boella, Leonardo Lesmo, Rossana Damiano
EDBTW
2006
Springer
15 years 7 months ago
The Importance of Algebra for XML Query Processing
Abstract. Relational algebra has been a crucial foundation for relational database systems, and has played a large role in enabling their success. A corresponding XML algebra for X...
Stelios Paparizos, H. V. Jagadish
EUROMICRO
2003
IEEE
15 years 10 months ago
Web Service Engineering with DIWE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
Engin Kirda, Clemens Kerer, Christopher Krüge...
CEC
2009
IEEE
16 years 7 days ago
Birds on the wall: Distributing a process-oriented simulation
— The CoSMoS project aims to develop reusable tools and techniques for complex systems modelling and simulation. Using process-oriented software design techniques, we have built ...
Adam T. Sampson, John Markus Bjørndalen, Pa...