11374 search results - page 47 / 2275 » Demonstration of the CROSSMARC System |
208
click to vote
TKDE
2011
15 years 1 months ago
2011
—This paper proposes a new strategy, the experience transfer, to facilitate the management of large-scale computing systems. It deals with the utilization of management experienc...
163
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
206
click to vote
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
A build system breathes life into source code, as it configures and directs the construction of a software system from textual source code modules. Surprisingly, build languages a...
145
click to vote
MISQ
2002
15 years 6 months ago
2002
This paper addresses the design problem of providing IT support for emerging knowledge processes (EKPs). EKPs are organizational activity patterns that exhibit three characteristi...
135
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...