1407 search results - page 94 / 282 » Towards Usable Analysis, Design and Modeling Tools |
197
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
205
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
187
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
165
click to vote
WSC
2004
15 years 7 months ago
2004
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
214
click to vote
JCSS
2011
15 years 1 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...