811 search results - page 40 / 163 » Refactoring Using Type Constraints |
DOCENG
2009
ACM
14 years 3 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
HOTI
2008
IEEE
14 years 3 months ago
2008
IEEE
— Recent network intrusion detection systems (NIDS) use regular expressions to represent suspicious or malicious character sequences in packet payloads in a more efficient way. ...
UM
2010
Springer
14 years 1 months ago
2010
Springer
Recently, detectors of gaming the system have been developed for several intelligent tutoring systems where the problem-solving process is reified, and gaming consists of systemati...
ENTCS
2006
13 years 8 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
WISE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our apllows user to build the abstract composition b...