726 search results - page 134 / 146 » Formal Requirements Engineering: Learning from the Students |
105
click to vote
EUROMICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
ML
2006
ACM
15 years 5 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
79
Voted
VL
2009
IEEE
15 years 6 months ago
2009
IEEE
Repositories of code written by end-user programmers are beginning to emerge, but when a piece of code is new or nobody has yet reused it, then current repositories provide users ...
HUC
2004
Springer
15 years 5 months ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...
104
click to vote
PAKDD
2001
ACM
15 years 4 months ago
2001
ACM
Information extraction (IE) from semi-structured Web documents is a critical issue for information integration systems on the Internet. Previous work in wrapper induction aim to so...