2409 search results - page 75 / 482 » On Extended Regular Expressions |
CLUSTER
2005
IEEE
15 years 3 months ago
2005
IEEE
With several recent initiatives in the protocol offloading technology present on network adapters, the user market is now distributed amongst various technology levels including r...
MDM
2007
Springer
15 years 4 months ago
2007
Springer
FriendFinder as a location-based service collects location data from mobile users and distributes a particular user’s location upon request. Privacy of users data especially loc...
FMOODS
2007
14 years 11 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
104
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
IJCAI
2001
14 years 11 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...