1458 search results - page 50 / 292 » System Model-Based Definition of Modeling Language Semantics |
111
click to vote
FMICS
2009
Springer
15 years 1 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
CODES
2002
IEEE
15 years 2 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
SIGMOD
1989
ACM
15 years 1 months ago
1989
ACM
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
SBIA
2000
Springer
15 years 1 months ago
2000
Springer
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
100
click to vote
SOCIALCOM
2010
14 years 7 months ago
2010
Abstract--As the information flowing around in social networking systems is mainly related or can be attributed to their users, controlling access to such information by individual...