391 search results - page 33 / 79 » Sortabilities of Partition Properties |
95
Voted
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
ICAT
2007
IEEE
15 years 7 months ago
2007
IEEE
This study concerns the development of 3D interfaces that aid the navigation of large data structures through the usage of the HSV color space, and the ensuing “spatial frames...
126
Voted
ALGOSENSORS
2007
Springer
15 years 6 months ago
2007
Springer
Scalable energy-efficient training protocols are proposed for massively-deployed sensor networks, where sensors are initially anonymous and unaware of their location. The protocol...
120
click to vote
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
Given a set S of line segments in the plane, we introduce a new family of partitions of the convex hull of S called segment triangulations of S. The set of faces of such a triangul...
90
Voted
FDL
2005
IEEE
15 years 6 months 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...