2409 search results - page 256 / 482 » Building Components from Functions |
202
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
Computer-aided diagnosis is often based on comparing a structure of interest with prior models. Such a comparison requires automatic techniques in determining prior models from a s...
196
Voted
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
The design of any application on a configurable System-on-a-Chip (SoC) like Atmel's FPSLIC is subject to a lot of constraints stemming from requirements of the application an...
205
Voted
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
222
Voted
MOBISEC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
195
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
— Web Service is a standardization effort to interoperate loosely-coupled applications. A Web Service interaction benefits and sometimes requires additive functionalities, called...