Sciweavers

4469 search results - page 709 / 894
» A Language for Role Specifications
Sort
View
CORR
2011
Springer
145views Education» more  CORR 2011»
15 years 1 months ago
SLDs for Visualizing Multicolor Elevation Contour Lines in Geo-Spatial Web Applications
— This paper addresses the need for geospatial consumers (either humans or machines) to visualize multicolored elevation contour poly lines with respect their different contour i...
B. G. Kodge, P. S. Hiremath
IFIP
2010
Springer
15 years 1 months ago
Semantics of Trust
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
Tim Muller
IFIP
2010
Springer
15 years 1 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
SCP
2010
174views more  SCP 2010»
15 years 1 months ago
Aspects of availability: Enforcing timed properties to prevent denial of service
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
Pascal Fradet, Stéphane Hong Tuan Ha
TAOSD
2010
15 years 1 months ago
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
Jörg Kienzle, Wisam Al Abed, Franck Fleurey, ...