850 search results - page 154 / 170 » Modeling synchronous systems in BIP |
OOPSLA
2001
Springer
14 years 26 days ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
IPPS
1998
IEEE
14 years 21 days ago
1998
IEEE
LAPI is a low-level, high-performance communication interface available on the IBM RS/6000 SP system. It provides an activemessage-like interface along with remote memory copy and...
CICLING
2010
Springer
13 years 11 months ago
2010
Springer
The translation quality and parsing efficiency are often disappointed when Rule based Machine Translation systems deal with long sentences. Due to the complicated syntactic structu...
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
ECSA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...