436 search results - page 51 / 88 » Decomposing constraint systems: equivalences and computation... |
101
click to vote
CAV
2001
Springer
15 years 5 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
116
click to vote
SECON
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Due to technology or policy constraints, communications across network domains usually require the intervention of gateways, and their proper deployment is crucial to the...
143
click to vote
OPODIS
2004
15 years 2 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
133
click to vote
TAP
2010
Springer
14 years 11 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Teaching (and therefore learning) eXtreme Programming (XP) in a university setting is difficult because of course time limitations and the soft nature of XP that requires first-ha...