Sciweavers

1034 search results - page 124 / 207
» Formalization of Web Design Patterns Using Ontologies
Sort
View
ICTCS
2005
Springer
15 years 7 months ago
Error Mining for Regular Expression Patterns
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
Giuseppe Castagna, Dario Colazzo, Alain Frisch
ISSS
2000
IEEE
111views Hardware» more  ISSS 2000»
15 years 6 months ago
Systematic Data Reuse Exploration Methodology for Irregular Access Patterns
Efficient use of an optimized custom memory hierarchy to exploit temporal locality in the memory accesses on array signals can have a very large impact on the power consumption i...
Tanja Van Achteren, Rudy Lauwereins, Francky Catth...
CAISE
2010
Springer
14 years 9 months ago
Workflow Time Patterns for Process-Aware Information Systems
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Andreas Lanz, Barbara Weber, Manfred Reichert
IS
2006
15 years 2 months ago
A proof markup language for Semantic Web services
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
Paulo Pinheiro da Silva, Deborah L. McGuinness, Ri...
SEMWEB
2004
Springer
15 years 7 months ago
SWS for Financial Overdrawn Alerting
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
José Manuel López Cobo, Silvestre Lo...