2373 search results - page 301 / 475 » The Design of the Zinc Modelling Language |
189
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
184
click to vote
IE
2007
15 years 8 months ago
2007
In order to investigate the design of virtual place for creative collaboration, I have modeled scenes from a real place of creative collaboration – Jørn Utzon's studios, w...
180
click to vote
ESTIMEDIA
2007
Springer
16 years 20 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
159
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
167
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...