Sciweavers

9227 search results - page 1414 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
225
Voted
FM
2003
Springer
169views Formal Methods» more  FM 2003»
16 years 27 days ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
HPCC
2009
Springer
16 years 9 days ago
On the Performance of Commit-Time-Locking Based Software Transactional Memory
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
Zhengyu He, Bo Hong
ICRE
1996
IEEE
15 years 12 months ago
A facilitator method for upstream design activities with diverse stakeholders
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
Regina M. Gonzales, Alexander L. Wolf
CISSE
2007
Springer
15 years 11 months ago
An MDA-Based Generic Framework to Address Various Aspects of Enterprise Architecture
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
S. Shervin Ostadzadeh, Fereidoon Shams Aliee, S. A...
WSC
2007
15 years 10 months ago
Towards a user-centred road safety management method based on road traffic simulation
One of the most important gaps in road safety management practises is the lack of mature methods for estimating reliability. Road safety performance assessment systems have been d...
Andreas Gregoriades
« Prev « First page 1414 / 1846 Last » Next »