924 search results - page 129 / 185 » An empirical study on software engineers motivational factor... |
IUI
2005
ACM
14 years 2 months ago
2005
ACM
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
FOSSACS
2011
Springer
13 years 15 days ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Information technology (IT) is fundamentally altering the way in which healthcare is delivered to consumers, and offers the promise of improving patient safety, reducing medical e...
COCOON
2011
Springer
12 years 8 months ago
2011
Springer
Motivated by a security problem in geographic information systems, we study the following graph theoretical problem: given a graph G, two special nodes s and t in G, and a number k...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...