4987 search results - page 800 / 998 » Support Ordered Resolution |
183
click to vote
ENTCS
2002
15 years 6 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
179
click to vote
NAR
2000
15 years 6 months ago
2000
The Signal Recognition Particle Database (SRPDB) at http://psyche.uthct.edu/dbs/SRPDB/SRPDB.html and http://bio.lundberg.gu.se/dbs/SRPDB/SRPDB. html assists in the better understa...
173
click to vote
SAJ
2000
15 years 6 months ago
2000
Presence in Collaborative Virtual Environments (CVEs) can be classified into personal presence and co-presence. Personal presence is having a feeling of "being there" in...
215
click to vote
ASE
1998
15 years 6 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
153
click to vote
CACM
1998
15 years 6 months ago
1998
: The development of network management interfaces (NMIs) involves a variety of software layers, application programming interfaces (APIs), specification languages and tools. In or...