Sciweavers

1321 search results - page 97 / 265
» A framework for distributed collaborative conceptual model d...
Sort
View
UML
2005
Springer
14 years 2 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
GCC
2003
Springer
14 years 2 months ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
Shengrong Zou
JOT
2008
142views more  JOT 2008»
13 years 9 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
MIDDLEWARE
2005
Springer
14 years 2 months ago
Context aware sensornet
Advances in MEMS technology, wireless communications, and digital electronics have enabled the development of low-cost, low-power, multifunctional sensor nodes that integrating th...
Huaifeng Qin, Xingshe Zhou
ICALT
2007
IEEE
14 years 3 months ago
In Search of Quality Learning Technologies for Online Distributed Classrooms
Recent developments in technology and access have offered the opportunity to improve online learning environments through increased communication, interactivity among participants...
Madhumita Bhattacharya, Jon Dron