Sciweavers

1837 search results - page 273 / 368
» Abstraction and the C Machine Model
Sort
View
EWCBR
2004
Springer
14 years 22 days ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
OHS
2000
Springer
14 years 17 days ago
Standardizing Hypertext: Where Next for OHP?
Abstract. Over the last six years the Open Hypermedia Systems Working Group (OHSWG) has been working in a coordinated effort to produce a protocol which will allow components of an...
David E. Millard, Hugh C. Davis, Luc Moreau
ACII
2005
Springer
13 years 11 months ago
A Composite Method to Extract Eye Contour
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
Ke Sun, Hong Wang 0004
COORDINATION
2008
Springer
13 years 10 months ago
Multiparty Sessions in SOC
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
Roberto Bruni, Ivan Lanese, Hernán C. Melgr...
EUC
2008
Springer
13 years 10 months ago
Cryptanalysis of Li et al.'s Identity-Based Threshold Signcryption Scheme
Abstract. Signcryption is a cryptographic primitive that aims at providing confidentiality and authentication simultaneously. Recently in May 2008, a scheme for identity based thre...
S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Ra...