449 search results - page 88 / 90 » Model Checking Large Software Specifications |
129
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
System-on-chip communication architectures have a significant impact on the performance and power consumption of modern multiprocessor system-on-chips (MPSoCs). However, customiza...
139
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
146
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Every piece of textual data is generated as a method to convey its authors' opinion regarding specific topics. Authors deliberately organize their writings and create links, ...
130
click to vote
ODRL
2004
15 years 3 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
137
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...