5550 search results - page 258 / 1110 » Different Approaches to Proof Systems |
190
click to vote
FDL
2007
IEEE
16 years 29 days ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
164
click to vote
QSIC
2005
IEEE
16 years 6 days ago
2005
IEEE
A major advantage of Service-Oriented Architecture (SOA) is the ability to enable rapid formation of large-scale distributed systems. A dominant factor for the success of service-...
164
click to vote
JUCS
2007
15 years 6 months ago
2007
: Nowadays, advanced E-Learning systems are generally pedagogy-aware. Commonly, these systems include facilities for defining so-called learning scenarios that reflect sophisticate...
146
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
The aspect of security needs more consideration in the area of architectures for multidatabase systems. Particularly, the authentication of users which is a main prerequisite for ...
152
click to vote
FCSC
2008
15 years 6 months ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...