23 search results - page 4 / 5 » Automating Algebraic Specifications of Non-freely Generated ... |
EUROMICRO
1998
IEEE
13 years 10 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
BROADNETS
2007
IEEE
13 years 12 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
SBBD
2004
13 years 7 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
GIS
2006
ACM
14 years 6 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
RSP
1999
IEEE
13 years 10 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...