3335 search results - page 403 / 667 » Grid result checking |
179
click to vote
ICESS
2005
Springer
16 years 3 days ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
180
click to vote
ICNC
2005
Springer
16 years 3 days ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
148
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
190
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...
184
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...