Sciweavers

5398 search results - page 376 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
PDP
2007
IEEE
16 years 1 months ago
Improving the Development Process for CSE Software
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
Michael A. Heroux, James M. Willenbring, Michael N...
TC
2002
15 years 6 months ago
A Number System with Continuous Valued Digits and Modulo Arithmetic
This paper presents a novel number system based on signed continuous valued digits. Arithmetic operations in this number system are performed using simple analog circuitry, in con...
Aryan Saed, Majid Ahmadi, Graham A. Jullien
SPIN
2004
Springer
16 years 6 days ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
AI
2002
Springer
15 years 6 months ago
Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...
Scott A. DeLoach
CCS
2009
ACM
16 years 1 months ago
Towards secure dataflow processing in open distributed systems
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
Juan Du, Wei Wei, Xiaohui Gu, Ting Yu