2909 search results - page 302 / 582 » Consistency of the theory of contexts |
173
click to vote
SGAI
2007
Springer
16 years 24 days ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
158
Voted
LAWEB
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents results of a case study that addresses many issues surrounding the difficult task of preservation in a digital library. We focus on a subset of these issues as...
181
click to vote
AICT
2005
IEEE
16 years 9 days ago
2005
IEEE
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
160
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
170
click to vote
HICSS
2005
IEEE
16 years 9 days ago
2005
IEEE
Information Technology (IT) offshore outsourcing is a non-reversible trend due to its cost implications, and as a result, target of much inquiry in different areas of knowledge. W...