Sciweavers

15860 search results - page 2647 / 3172
» Agent-Based Software Engineering
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Capability Management and Discovery in Description Logic
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
Dong Cheng, Nacer Boudjlida
CCS
2006
ACM
15 years 10 months ago
Modelling the relative strength of security protocols
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
Ho Chung, Clifford Neuman
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
DSVIS
2006
Springer
15 years 10 months ago
Toward Quality-Driven Development of 3D Computer Games
The development of video games is a complex software engineering activity bringing together large multidisciplinary teams under stringent constraints. While much has been written a...
T. C. Nicholas Graham, Will Roberts
194
Voted
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
« Prev « First page 2647 / 3172 Last » Next »