3312 search results - page 129 / 663 » A Systemic Plan of Technology Integration |
159
Voted
PADL
2004
Springer
15 years 10 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
121
click to vote
ACL
2007
15 years 6 months ago
2007
In this paper we explore the utility of the Navigation Map (NM), a graphical representation of the discourse structure. We run a user study to investigate if users perceive the NM...
134
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
132
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
One of the key challenges to successful systems-ofsystems integration using Web services technologies is how to address crosscutting architectural concerns such as policy manageme...
148
click to vote
ECIS
2003
15 years 6 months ago
2003
This research approaches the issues of introducing ICTs (Information and Communication Technologies) into Small and Medium Enterprises, with the aim of finding some conditions tha...