Sciweavers

1309 search results - page 213 / 262
» Supporting Group Awareness in Distributed Software Developme...
Sort
View
ICCS
2004
Springer
15 years 7 months ago
Using Web Services to Integrate Heterogeneous Simulations in a Grid Environment
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
J. Mark Pullen, Ryan Brunton, Donald P. Brutzman, ...
CIKM
2001
Springer
15 years 6 months ago
The Enosys Markets Data Integration Platform: Lessons from the Trenches
Enosys Markets offers a state-of-the-art data integration software platform to support the development of the next generation of eBusiness applications that deliver value by provi...
Yannis Papakonstantinou, Vasilis Vassalos
DKE
2007
131views more  DKE 2007»
15 years 1 months ago
Reasoning and change management in modular ontologies
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
Heiner Stuckenschmidt, Michel C. A. Klein
ASWEC
2006
IEEE
15 years 8 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
ATAL
2008
Springer
15 years 4 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...