Sciweavers

2933 search results - page 259 / 587
» Agent-Grid Integration Language
Sort
View
GIS
2004
ACM
16 years 5 months ago
Query processing in a geographic mediation system
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...
François-Marie Colonna, Mehdi Essid, Omar B...
129
Voted
CSFW
2005
IEEE
15 years 9 months ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers
160
Voted
MATES
2004
Springer
15 years 9 months ago
Developing Tools for Agent-Oriented Visual Modeling
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
Anna Perini, Angelo Susi
OOPSLA
2004
Springer
15 years 9 months ago
Example centric programming
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
Jonathan Edwards
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund