7557 search results - page 316 / 1512 » Modeling Timed Concurrent Systems |
170
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
167
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
188
Voted
CLUSTER
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
182
click to vote
NSF
2001
Springer
15 years 11 months ago
2001
Springer
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
156
click to vote
LCTRTS
2004
Springer
16 years 11 hour ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...