1821 search results - page 271 / 365 » Security-Aware Program Transformations |
90
Voted
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a semi-automatic method for the segmentation and the tracking of the mitral valve leaflet in transesophageal echocardiography. We use two connected active cont...
165
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
113
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
188
Voted
SIGMOD
2006
ACM
16 years 28 days ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
114
Voted
ICSE
2007
IEEE-ACM
16 years 26 days ago
2007
IEEE-ACM
Many end user programming tools such as spreadsheets and databases offer poor support for representing a level of abstraction that is intuitive to users. For example, users must w...