873 search results - page 63 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
193
click to vote
ISTAR
2008
15 years 7 months ago
2008
One major obstacle to requirements engineering (RE) is the growing complexity of today's systems. Such a complexity can only be fficiently by powerful abstraction mechanisms a...
182
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
179
click to vote
ELPUB
2006
ACM
2006
ACM
What are the Prospects for Publishing Online Scholarly Journals in Malaysia? The Cultural Constraint
16 years 3 days ago
Most of the studies conducted on future business models for electronic scholarly publishing have concentrated on the major publishing areas of North America and Western Europe, an...
153
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
178
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...