3045 search results - page 536 / 609 » Formal Approaches to Software Architecture |
146
Voted
HICSS
2005
IEEE
15 years 12 months 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...
177
click to vote
WECWIS
2005
IEEE
15 years 11 months 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...
155
Voted
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...
166
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...
153
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...