5550 search results - page 282 / 1110 » Different Approaches to Proof Systems |
170
click to vote
EPEW
2007
Springer
16 years 25 days ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
188
Voted
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
192
click to vote
DAIS
2003
15 years 8 months ago
2003
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
179
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
A system for video on multiscopic 3D displays is considered where the data representation consists of multiview video plus scene depth. At most, 3 multiview video signals are bein...
170
click to vote
APPT
2003
Springer
15 years 12 months ago
2003
Springer
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...