8083 search results - page 1364 / 1617 » A Formalization of Software Architecture |
189
click to vote
CBMS
2006
IEEE
16 years 22 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
163
click to vote
MEMOCODE
2006
IEEE
16 years 20 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
157
click to vote
CASES
2006
ACM
16 years 19 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
155
Voted
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
192
click to vote
WECWIS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...