2496 search results - page 229 / 500 » Error-detecting properties of languages |
190
click to vote
FDL
2006
IEEE
16 years 22 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
155
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
The Java language and platform have been considered by many as natural candidate for creating grid systems. The platform-independent runtime environment, safe and high-level langu...
220
click to vote
ADVIS
2006
Springer
16 years 20 days ago
2006
Springer
Abstract. The management of modern telecommunications networks must satisfy ever-increasing operational demands. We propose a study for the improvement of intelligent administratio...
152
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
176
click to vote
ASWEC
2005
IEEE
16 years 9 days ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...