Sciweavers

5457 search results - page 689 / 1092
» Clinical requirements engineering
Sort
View
FOSSACS
2004
Springer
16 years 29 days ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
GCC
2004
Springer
16 years 29 days ago
State Management Issues and Grid Services
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...
Yong Xie, Yong Meng Teo
IBERAMIA
2004
Springer
16 years 29 days ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ICDCIT
2004
Springer
16 years 28 days ago
Querying XML Documents from a Relational Database in the Presence of DTDs
Abstract. Many researchers have investigated the problem of storing and querying XML documents using an RDBMS. Two situations are considered in this approach based on whether or no...
Manjeet Rege, Izabell Caraconcea, Shiyong Lu, Fars...
ICSR
2004
Springer
16 years 28 days ago
Framed Aspects: Supporting Variability and Configurability for AOP
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
Neil Loughran, Awais Rashid