Sciweavers

12052 search results - page 729 / 2411
» computing 2010
Sort
View
204
Voted
DSS
2007
65views more  DSS 2007»
15 years 7 months ago
Using Web Services for supporting the users of wireless devices
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...
Thomi Pilioura, Stathes Hadjiefthymiades, Aphrodit...
DSS
2007
109views more  DSS 2007»
15 years 7 months ago
Dealing with the effects of context mismatch in group work
The context concept can be used with advantage in the area of Computer-Supported Cooperative Work. In many studies, several forms of context have been used without explicit associ...
Marcos R. S. Borges, Patrick Brézillon, Jos...
223
Voted
ENTCS
2007
199views more  ENTCS 2007»
15 years 7 months ago
Heuristics for Safety and Security Constraints
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
Flemming Nielson, Hanne Riis Nielson
ENTCS
2007
112views more  ENTCS 2007»
15 years 7 months ago
Structure and Properties of Traces for Functional Programs
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
Olaf Chitil, Yong Luo
193
Voted
ENTCS
2007
108views more  ENTCS 2007»
15 years 7 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig