569 search results - page 72 / 114 » An Empirical Study of Structural Constraint Solving Techniqu... |
142
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this study, we empirically explore how task performance and domain-specific self-efficacy influence the perceived ease of use (PEU) of object-oriented techniques. We hypothesiz...
168
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
178
click to vote
ISSRE
2005
IEEE
15 years 12 months ago
2005
IEEE
End-user programmers are increasingly relying on web authoring environments to create web applications. Although often consisting primarily of web pages, such applications are inc...
162
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Recent studies have investigated how a team of mobile sensors can cope with real world constraints, such as uncertainty in the reward functions, dynamically appearing and disappea...
150
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...