1888 search results - page 308 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
204
click to vote
AAIP
2009
15 years 6 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
131
click to vote
TKDE
2008
15 years 4 months ago
2008
This paper is concerned with the problem of mining competitors from the Web automatically. Nowadays, the fierce competition in the market necessitates every company to know not onl...
129
Voted
JDM
2007
15 years 4 months ago
2007
Environmental research and knowledge discovery both require extensive use of data stored in various sources and created in different ways for diverse purposes. We describe a new m...
171
click to vote
VLSISP
2008
15 years 4 months ago
2008
Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires acc...
138
click to vote
TSE
2010
15 years 3 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...