Sciweavers

612 search results - page 69 / 123
» Division for Foundation of Software
Sort
View
APIN
2006
142views more  APIN 2006»
15 years 4 months ago
Achieving dynamic, multi-commander, multi-mission planning and execution
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
Eugene Santos, Scott A. DeLoach, Michael T. Cox
JSW
2008
105views more  JSW 2008»
15 years 4 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
ENTCS
2007
116views more  ENTCS 2007»
15 years 4 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
114
Voted
MCS
2007
Springer
15 years 4 months ago
SpectrUW: A laboratory for the numerical exploration of spectra of linear operators
Spectra of linear operators play an important role in various aspects of applied mathematics. For all but the simplest operators, the spectrum cannot be determined analytically an...
Bernard Deconinck, Firat Kiyak, John D. Carter, J....
144
Voted
SAC
2008
ACM
15 years 3 months ago
Providing dependability for web services
Web services have been widely employed to allow interoperability among applications and/or technologies. However, the standard technologies and protocols which provide the foundat...
Jeferson L. R. Souza, Frank Siqueira