8587 search results - page 1519 / 1718 » Interactive dynamic abstraction |
111
Voted
DEON
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
134
Voted
EMO
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Multiplex Polymerase Chain Reaction (PCR) assay is to amplify multiple target DNAs simultaneously using different primer pairs for each target DNA. Recently, it is widely...
132
Voted
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Information nowadays is a capital for any organization intending to be reactive and aware of its environment. Unfortunately most modern organizations overdose on informat...
172
Voted
COLCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
123
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Work by Kilby, Slaney, Thiebaux and Walsh [1] showed that the backdoors and backbones of unstructured Random 3SAT instances are largely disjoint. In this work we extend t...