592 search results - page 88 / 119 » CTL Model Update: Semantics, Computations and Implementation |
113
click to vote
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
PADS
2005
ACM
15 years 7 months ago
2005
ACM
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
121
Voted
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
121
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...